Henricus Rudolphus Warmolts overlijden